Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
421	Page 1 / 1 Edward Frenkel’s interview to the Brazilian newspaper Valor Econômico, Q: I am not going to lie to you: Math was not my favorite class in school. I thought it was too abstract and, later on, it w Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2015-04-11 14:55:24 Finite fields XTR Modal logic Coding theory Vacuous truth Exponential mechanism Mathematics Logic Abstract algebra
422	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-07-30 04:18:35 Algebra Information science Knowledge representation Technical communication Metalogic Ontology Module Structure Elementary class Mathematics Model theory Abstract algebra
423	Statistical weaknesses in the alleged RC4 keystream generator Marina Pudovkina Moscow Engineering Physics Institute (State University) Abstract. A large number of stream cipher were proposed and impleme Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2002-11-11 15:22:27 Deduction Q Entailment RC4 I1 Logic Cryptography Functional languages
424	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Computing Postcondition Design by contract Abstract interpretation Programming language Formal verification Precondition Class Software engineering Theoretical computer science Logic in computer science
425	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
426	TANGENTIAL DERIVATIVES PROVIDING A MEAN-VALUE FORMULA LAURENT MOONENS Abstract. We provide a simple example showing that the tangential derivative of a continuous function φ can vanish everywhere along a Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2014-02-09 15:33:57 Theoretical physics Spectral theory Mathematical logic Spectral theory of ordinary differential equations Linear temporal logic Mathematics Operator theory Mathematical analysis
427	ICM satellite event on logic and set theory Abstract of talks Joan Bagaria Structural Reﬂection and the Hierarchy of C(n) cardinals We introduce ﬁrst a new kind of reﬂection principle for the universe of all sets: Add to Reading List Source URL: ali.cmi.ac.in Language: English - Date: 2010-08-13 05:01:47 Forcing Boolean algebra Order theory Topology Descriptive set theory Borel set Model theory Set theory Interior algebra Mathematical logic Mathematics Logic
428	C:/Users/jipsen/Documents/Talks/SoftComputing2003/SoftComputingAbstract20030904.dvi Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2011-03-30 04:04:54 Fuzzy logic Algebraic structures Lattice theory Algebraic logic Mathematical logic Residuated lattice MV-algebra Monoidal t-norm logic Variety Mathematics Abstract algebra Logic
429	On Pebble Automata for Data Languages with Decidable Emptiness ProblemI,II Tony Tan School of Informatics, University of Edinburgh Abstract Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Pebble automaton Regular language Turing machine Linear temporal logic Ω-automaton Automata theory Theory of computation Theoretical computer science
430	QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in propositional-logic de Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2014-05-05 11:51:09 Natural deduction Sequent calculus Rule of inference Deep inference Sequent Cut-elimination theorem Substitution Propositional calculus Proof calculus Logic Proof theory Mathematical logic

UPDATE